# abstract proof

__мат.__абстрактное доказательство

*English-Russian scientific dictionary.
2008.*

### Смотреть что такое "abstract proof" в других словарях:

**Proof checking**— is the process of using software for checking proofs for correctness. It is one of the most developed fields in automated reasoning.ee also*Model checking *Abstract interpretation *Static code analysis *Automated theorem proving *Symbolic… … Wikipedia**Abstract rewriting system**— In mathematical logic and theoretical computer science, an abstract rewriting system (also (abstract) reduction system or abstract rewrite system; abbreviation ARS) is a formalism that captures the quintessential notion and properties of… … Wikipedia**Proof of impossibility**— A proof of impossibility, sometimes called a negative proof or negative result , is a proof demonstrating that a particular problem cannot be solved, or cannot be solved in general. Often proofs of impossibility have put to rest decades or… … Wikipedia**Proof-of-work system**— A Proof of work ( POW ) system (or protocol, or function) is an economic measure to deter denial of service attacks and other service abuses such as spams on a network by requiring some work from the service requester, usually meaning processing… … Wikipedia**Abstract (law)**— In law, an abstract is a brief statement that contains the most important points of a long legal document or of several related legal papers.Abstract of titleThe Abstract of Title, used in real estate transactions, is the more common form of… … Wikipedia**Proof of knowledge**— In cryptography, a proof of knowledge is an interactive proof in which the prover succeeds convincing a verifier that it knows something. What it means for a machine to know something is defined in terms of computation. A machine knows something … Wikipedia**Abstract Of Title**— A brief history of the titles for a piece of land. The abstract of title lists all of the legal actions that have been performed or used in conjunction with a piece of property. This is used to determine whether or not there is any kind of claim… … Investment dictionary**Interactive proof system**— In computational complexity theory, an interactive proof system is an abstract machine that models computation as the exchange of messages between two parties. The parties, the verifier and the prover, interact by exchanging messages in order to… … Wikipedia**Zero-knowledge proof**— In cryptography, a zero knowledge proof or zero knowledge protocol is an interactive method for one party to prove to another that a (usually mathematical) statement is true, without revealing anything other than the veracity of the statement.A… … Wikipedia**Computer-assisted proof**— A computer assisted proof is a mathematical proof that has been at least partially generated by computer. Most computer aided proofs to date have been implementations of large proofs by exhaustion of a mathematical theorem. The idea is to use a… … Wikipedia**Burden of proof (logical fallacy)**— In philosophy, the term burden of proof refers to the extent to which, or the level of rigour with which, it is necessary to establish, demonstrate or prove something for it to be accepted as true or reasonable to believe.All logical arguments… … Wikipedia

### Книги

- Proofs and Fundamentals. A First Course in Abstract Mathematics, Ethan D. Bloch, "Proofs and Fundamentals: A First Course in Abstract Mathematics" 2nd edition is designed as a "transition" course to introduce undergraduates to the writing of rigorous mathematical proofs,… Категория: Научная литература Подробнее Купить за 9664 руб
- The Intricate Nature of Mathematics, Viorel Nitica and Catalin Nitica, This book emerged from a set of lecture notes used by one of the authors to teach a 200 level course in Nature of Mathematics. The course was introduced as a bridge from traditional Calculus… Категория: Общие вопросы математики Издатель: LAP Lambert Academic Publishing, Подробнее Купить за 7110 руб
- A Transition to Abstract Mathematics, Second Edition: Learning Mathematical Thinking and Writing, Randall Maddox, Constructing concise and correct proofs is one of the most challenging aspects of learning to work with advanced mathematics. Meeting this challenge is a defining moment for those considering… Категория: Академическая литература издательств Америки Подробнее Купить за 6417 руб